- односортная логика
- Information technology: single-sorted logic (в СИИ)
Универсальный русско-английский словарь. Академик.ру. 2011.
односортная логика
Смотреть что такое "односортная логика" в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
